home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / laame101.zip / ES43.TXT < prev    next >
Text File  |  1993-10-10  |  3KB  |  133 lines

  1. ------------------------------------------------------------------------------
  2. *                                                                            *
  3. *  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
  4. *                                                                            *
  5. ------------------------------------------------------------------------------
  6.  
  7. Giorno: 10-10-1993
  8.  
  9. Funzione: Σ8  (29,250,123,48,136,186,46,66,88,21,184,175,50,18,86,149,213,229,
  10.                6,68,252,158,135,11,233,111,102,53,2,89,251,58,237,243,161,37,
  11.                236,121,69,118,24,209,23,120,202,116,137,139,232,247,20,228,
  12.                177,35,124,40,17,39,82,194,13,32,169,150,203,245,59,151,47,217,
  13.                28,43,10,34,171,168,221,5,185,147,106,204,255,80,26,131,207,
  14.                146,16,70,148,223,198,167,115,143,224,117,163,55,77,130,235,
  15.                205,27,234,31,162,81,145,98,42,110,219,71,188,60,105,125,97,
  16.                142,195,173,64,180,57,216,49,215,128,62,95,87,249,138,127,0,85,
  17.                160,182,227,4,65,14,109,15,238,208,212,74,67,191,152,72,126,
  18.                183,45,172,187,200,7,199,197,174,3,75,19,231,129,84,12,76,201,
  19.                248,165,226,107,112,181,30,141,239,38,119,214,8,170,73,91,176,
  20.                132,54,206,41,108,166,101,140,103,90,225,134,36,144,196,96,92,
  21.                230,94,79,113,254,218,9,114,1,210,179,192,104,211,190,44,51,
  22.                157,155,99,242,63,83,220,133,78,189,222,240,22,33,52,193)
  23.  
  24. Numero di variabili: 8
  25. Numero di mintermini: 240
  26. Stato dell'elaborazione: TERMINATA
  27. Generazione dell'input: CASUALE
  28. Seme: 23
  29. Tempo totale di elaborazione: 0:8:14
  30.  
  31. --------------------------
  32. *         FASE A         *
  33. --------------------------
  34. Tempo di elaborazione: 0:0:17
  35. Numero implicanti primi: 82
  36.  
  37. Implicanti primi determinati: 
  38.     BCfGh
  39.     AbdGH
  40.     aBcFG
  41.     AbcdG
  42.     aBcdG
  43.     AbceG
  44.     aCfGh
  45.     aBfGh
  46.     BcdfH
  47.     aBcdf
  48.     Abcdf
  49.     Abcef
  50.     EFGH
  51.     BEFG
  52.     CFGH
  53.     BdEG
  54.     AbFG
  55.     bFGH
  56.     bEFH
  57.     aFGH
  58.     ABCf
  59.     ABfH
  60.     CfgH
  61.     BfgH
  62.     BEfg
  63.     BdEf
  64.     AdfH
  65.     AbFh
  66.     beGH
  67.     beFG
  68.     AefH
  69.     bEFg
  70.     abFH
  71.     AcFh
  72.     BcFh
  73.     abFg
  74.     aBce
  75.     aceF
  76.     aceH
  77.     Bceg
  78.     Abch
  79.     efgH
  80.     abeF
  81.     abeH
  82.     befH
  83.     Bcfg
  84.     beFh
  85.     ceFh
  86.     aBch
  87.     cefH
  88.     abeg
  89.     cefg
  90.     aceg
  91.     befg
  92.     AEF
  93.     ABE
  94.     ABD
  95.     ACH
  96.     ABg
  97.     ACg
  98.     AEg
  99.     AdE
  100.     bCH
  101.     bCF
  102.     AEh
  103.     BEh
  104.     Afg
  105.     Efh
  106.     Fgh
  107.     Egh
  108.     Agh
  109.     bCg
  110.     abD
  111.     abC
  112.     cgh
  113.     bgh
  114.     DF
  115.     CE
  116.     CD
  117.     Dg
  118.     De
  119.     Dh
  120.  
  121. --------------------------
  122. *         FASE B         *
  123. --------------------------
  124. Quine II dx
  125. Tempo di elaborazione: 0:7:57
  126. Numero di forme prime paragonate: 1312
  127. Numero di tabelle cicliche esaminate: 22497
  128. Numero di implicanti soluzione: 21
  129.  
  130. SOLUZIONE (forma minima): 
  131. Efh + Fgh + abD + CE + De + ABCf + aCfGh + aBcdf + Abch + aFGH + ACH + BcFh +
  132. bEFH + ABE + AdfH + Bceg + Dg + efgH + beFG + abeH + befg
  133.